19

Formalizing process algebraic verifications in the calculus of constructions

Year:
1997
Language:
english
File:
PDF, 2.44 MB
english, 1997